Metamath Proof Explorer


Syntax definition csg

Description: Extend class notation with group subtraction (or division) operation.

Ref Expression
Assertion csg class -g