Theorem Matrix.mem_range_scalar_iff_commute_stdBasisMatrix'

Modification history