Def CategoryTheory.Functor.isEmptyExt

Modification history