Def CategoryTheory.Limits.coneOfSectionCompCoyoneda

Modification history