Def CategoryTheory.Limits.PreservesPushout.ofIsoComparison

Modification history