Def CategoryTheory.uliftTrivial

Modification history