Def SSet.Truncated.uliftFunctor

Modification history