Theorem CategoryTheory.Limits.hasLimitsOfShape_of_equivalence

Modification history