Def CategoryTheory.uliftFunctorTrivial

Modification history