Theorem PEquiv.toMatrix_trans

Modification history