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 28439

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 28460 for more information.

Colors of variables: wff setvar class