chg - Mathbox for Norm Megill

	Mathbox for Norm Megill		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > chg		Structured version Visualization version GIF version

Syntax Definition chg 39876

Description: Extend class notation with g-map.

**Assertion**
Ref	Expression
chg	class HGMap

See definition df-hgmap 39877 for more information.

Colors of variables: wff setvar class