Def CategoryTheory.Limits.compCoyonedaSectionsEquiv

Modification history