Def CategoryTheory.Core.forgetFunctorToCore

Modification history