cstrkgc - Metamath Proof Explorer

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

Syntax Definition cstrkgc 26789

Description: Extends class notation with the class of geometries fulfilling the congruence axioms.

**Assertion**
Ref	Expression
cstrkgc	class TarskiG_C

See definition df-trkgc 26809 for more information.

Colors of variables: wff setvar class