Theorem CategoryTheory.Iso.homCongr_refl

Modification history