Database
BASIC ALGEBRAIC STRUCTURES
Groups
Definition and basic properties
cgrp
Next ⟩
cminusg
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cgrp
Description:
Extend class notation with class of all groups.
Ref
Expression
Assertion
cgrp
class Grp