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