Def CategoryTheory.Limits.HasLimitOfHasProductsOfHasEqualizers.buildIsLimit

Modification history