Def CategoryTheory.Limits.opCompYonedaSectionsEquiv

Modification history