Theorem Equiv.finsetCongr_toEmbedding

Modification history