Metamath Proof Explorer


Syntax definition ceeng

Description: Extends class notation with the Tarski geometry structure for EE ^ N .

Ref Expression
Assertion ceeng class EEG