Theorem Matrix.mul_apply'

Modification history