Database
BASIC ALGEBRAIC STRUCTURES
Groups
Group actions
cga
Next ⟩
df-ga
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cga
Description:
Extend class definition to include the class of group actions.
Ref
Expression
Assertion
cga
class GrpAct