Database
ELEMENTARY GEOMETRY
Geometry in Hilbert spaces
cttg
Next ⟩
df-ttg
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cttg
Description:
Function to convert an algebraic structure to a Tarski geometry.
Ref
Expression
Assertion
cttg
class
to𝒢
Tarski