Theorem CategoryTheory.Limits.PreservesPushout.inl_iso_hom

Modification history