Database
ELEMENTARY GEOMETRY
Definition and Tarski's Axioms of Geometry
citv
Next ⟩
clng
Metamath Proof Explorer
Unicode
Structured
Syntax definition
citv
Description:
Declare the syntax for the Interval (segment) index extractor.
Ref
Expression
Assertion
citv
class Itv