Metamath Proof Explorer


Syntax definition cbtwn

Description: Declare the syntax for the Euclidean betweenness predicate.

Ref Expression
Assertion cbtwn
class Btwn