Def CategoryTheory.Limits.preservesColimitsOfEvaluation

Modification history