Metamath Proof Explorer


Syntax definition ctendo

Description: Extend class notation with translation group endomorphisms.

Ref Expression
Assertion ctendo
class TEndo