Def SimplexCategory.δ

Modification history