Syntax definition cstrkgld

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

	Ref	Expression
Assertion	cstrkgld	$$class{\mathrm{Dim}}_{𝒢}\ge$$