Def CategoryTheory.Limits.Types.sectionsEquiv

Modification history