Def CategoryTheory.Limits.compYonedaSectionsEquiv

Modification history