Database
COMPLEX TOPOLOGICAL VECTOR SPACES (DEPRECATED)
Additional material on group theory (deprecated)
Definitions and basic properties for groups
cgr
Next ⟩
cgi
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cgr
Description:
Extend class notation with the class of all group operations.
Ref
Expression
Assertion
cgr
class GrpOp