Theorem Matrix.single_mul_apply_of_ne

Modification history