Def TopCat.uliftFunctorCompForgetIso

Modification history