Theorem Equiv.toPEquiv_symm

Modification history