Database
ELEMENTARY GEOMETRY
Geometry in Hilbert spaces
Geometry in Euclidean spaces
EE^n fulfills Tarski's Axioms
ceeng
Next ⟩
df-eeng
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ceeng
Description:
Extends class notation with the Tarski geometry structure for
EE ^ N
.
Ref
Expression
Assertion
ceeng
class
EEG