Mathlib v3 is deprecated. Go to Mathlib v4

Def matrix.is_two_block_diagonal

Modification history