Database
ELEMENTARY GEOMETRY
Geometry in Hilbert spaces
Geometry in Euclidean spaces
Definition of the Euclidean space
cbtwn
Next ⟩
ccgr
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cbtwn
Description:
Declare the syntax for the Euclidean betweenness predicate.
Ref
Expression
Assertion
cbtwn
class Btwn