Theorem PEquiv.mul_matrix_apply

Modification history