Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of involution and inner product from a Hilbert lattice
clcd
Next ⟩
df-lcdual
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
clcd
Description:
Extend class notation with vector space of functionals with closed kernels.
Ref
Expression
Assertion
clcd
$${class}\mathrm{LCDual}$$