Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of a vector space from a Hilbert lattice
cdveca
Next ⟩
df-dveca
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cdveca
Description:
Extend class notation with constructed vector space A.
Ref
Expression
Assertion
cdveca
class
DVecA