Def SimplexCategory.mkOfSucc

Modification history