Database
ELEMENTARY GEOMETRY
Definition and Tarski's Axioms of Geometry
clng
Next ⟩
df-itv
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clng
Description:
Declare the syntax for the Line function.
Ref
Expression
Assertion
clng
class LineG