Def SimplexCategory.mkOfLeComp

Modification history