mathlib

c060baa7 - chore(data/matrix/block): the block matrix of zeros is zero (#18879)