Theorem CategoryTheory.Iso.homCongr_trans

Modification history