Metamath Proof Explorer


Syntax definition chg

Description: Extend class notation with g-map.

Ref Expression
Assertion chg class HGMap