Theorem SimplexCategory.comp_toOrderHom

Modification history