Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Totally ordered monoids and groups
comnd
Next ⟩
cogrp
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
comnd
Description:
Extend class notation with the class of all right ordered monoids.
Ref
Expression
Assertion
comnd
$${class}\mathrm{oMnd}$$