Theorem Equiv.equivCongr_symm

Modification history