Theorem Equiv.finsetCongr_refl

Modification history