Def SimplexCategory.Truncated.inclCompInclusion

Modification history