Metamath Proof Explorer


Syntax definition cga

Description: Extend class definition to include the class of group actions.

Ref Expression
Assertion cga class GrpAct