Def CategoryTheory.Limits.PreservesPullback.ofIsoComparison

Modification history