Theorem PEquiv.transpose_toMatrix_toPEquiv_apply

Modification history