Theorem Matrix.mul_single_apply_of_ne

Modification history