Database
BASIC ALGEBRAIC STRUCTURES
Rings
Multiplicative Group
cmgp
Next ⟩
df-mgp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cmgp
Description:
Multiplicative group.
Ref
Expression
Assertion
cmgp
class
mulGrp