Theorem Matrix.toBlock_one_disjoint

Modification history