Database
ELEMENTARY GEOMETRY
Definition and Tarski's Axioms of Geometry
cstrkg
Next ⟩
cstrkgc
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cstrkg
Description:
Extends class notation with the class of Tarski geometries.
Ref
Expression
Assertion
cstrkg
class
𝒢
Tarski