Theorem CategoryTheory.IsPushout.isIso_inl_iso_of_epi

Modification history