Theorem Matrix.mem_range_scalar_iff_commute_stdBasisMatrix

Modification history