Database
BASIC ALGEBRAIC STRUCTURES
Groups
Free groups
cvrgp
Next ⟩
df-efg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cvrgp
Description:
Extend class notation with free group injection.
Ref
Expression
Assertion
cvrgp
class
var
FGrp