Theorem CategoryTheory.Iso.homCongr_comp

Modification history