Def CategoryTheory.EnrichedFunctor.forgetId

Modification history