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