Theorem Matrix.mem_range_scalar_iff_commute_single

Modification history