Theorem CategoryTheory.Iso.eHomCongr_refl

Modification history