Def CategoryTheory.Functor.emptyExt

Modification history