cstrkgld - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cstrkgld		Structured version Visualization version GIF version

Syntax Definition cstrkgld 26773

Description: Extends class notation with the relation for geometries fulfilling the lower dimension axioms.

**Assertion**
Ref	Expression
cstrkgld	class Dim_TarskiG≥

See definition df-trkgld 26794 for more information.

Colors of variables: wff setvar class