Theorem CategoryTheory.Limits.PreservesPushout.inr_iso_hom

Modification history