Def SSet.uliftFunctor

Modification history