Theorem Matrix.mem_range_scalar_of_commute_single

Modification history