Metamath Proof Explorer


Syntax definition chvm

Description: Extend class notation with vector to dual map.

Ref Expression
Assertion chvm
class HVMap