Theorem CategoryTheory.Iso.homCongr_apply

Modification history