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