Metamath Proof Explorer


Syntax definition cld

Description: Extend class notation with left dualvector space.

Ref Expression
Assertion cld class LDual