Database
BASIC STRUCTURES
Extensible structures
Slot definitions
cmulr
Next ⟩
cstv
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmulr
Description:
Extend class notation with ring multiplication.
Ref
Expression
Assertion
cmulr
class
.
r