Theorem Matrix.mem_range_scalar_iff_commute_single'

Modification history