mathlib3

adcfc58d - chore(data/matrix/block): Do not print `matrix.from_blocks` with dot notation (#12774)

chore(data/matrix/block): Do not print `matrix.from_blocks` with dot notation (#12774) `A.from_blocks B C D` is weird and asymmetric compared to `from_blocks A B C D`. In future we might want to introduce notation.