Theorem CategoryTheory.IsPushout.isIso_inr_iso_of_epi

Modification history