Theorem Equiv.finsetCongr_symm

Modification history