Theorem Equiv.embeddingCongr_symm

Modification history