Metamath Proof Explorer


Syntax definition cld

Description: Extend class notation with left dualvector space.

Ref Expression
Assertion cld
class LDual