Theorem Matrix.row_eq_zero_of_commute_stdBasisMatrix

Modification history