Metamath Proof Explorer


Syntax definition clng

Description: Declare the syntax for the Line function.

Ref Expression
Assertion clng
class LineG