Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Stefan O'Rear
Additional material on polynomials [DEPRECATED]
cmnc
Next ⟩
cplylt
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmnc
Description:
Extend class notation with the class of monic polynomials.
Ref
Expression
Assertion
cmnc
class
Monic