Def CategoryTheory.Limits.coneOfSectionCompYoneda

Modification history