Theorem Matrix.mem_range_scalar_of_commute_stdBasisMatrix

Modification history