Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of involution and inner product from a Hilbert lattice
chvm
Next ⟩
df-hvmap
Metamath Proof Explorer
Unicode
Structured
Syntax definition
chvm
Description:
Extend class notation with vector to dual map.
Ref
Expression
Assertion
chvm
class HVMap