Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Rohan Ridenour
Monoid rings
cmnring
Next ⟩
df-mnring
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cmnring
Description:
Extend class notation with the monoid ring function.
Ref
Expression
Assertion
cmnring
class MndRing