Metamath Proof Explorer


Syntax definition cline

Description: Declare the syntax for lines in generalized real Euclidean spaces.

Ref Expression
Assertion cline class LineM