Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Semiring left modules
cslmd
Next ⟩
df-slmd
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cslmd
Description:
Extend class notation with class of all semimodules.
Ref
Expression
Assertion
cslmd
class SLMod