Theorem Matrix.mul_adjp_apply_eq

Modification history