Def CategoryTheory.Limits.ClosedUnderColimitsOfShape

Modification history