Def TopCat.uliftFunctorFullyFaithful

Modification history