Theorem PEquiv.equiv_toPEquiv_toMatrix

Modification history