Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Geometry in the Euclidean space
Lines and Rays
clines2
Next ⟩
df-line2
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clines2
Description:
Declare the constant for the set of all lines.
Ref
Expression
Assertion
clines2
class
LinesEE