Def SimplexCategory.skeletalFunctor

Modification history