Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Alexander van der Vekens
Elementary geometry (extension)
Spheres and lines in real Euclidean spaces
cline
Next ⟩
csph
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cline
Description:
Declare the syntax for lines in generalized real Euclidean spaces.
Ref
Expression
Assertion
cline
class LineM