Metamath Proof Explorer

Syntax definition cee

Description: Declare the syntax for the Euclidean space generator.

Ref Expression
Assertion cee 
class EE