Metamath Proof Explorer


Syntax definition cttg

Description: Function to convert an algebraic structure to a Tarski geometry.

Ref Expression
Assertion cttg
class toTG