Theorem PEquiv.matrix_mul_apply

Modification history