Def CategoryTheory.Functor.sections

Modification history