Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of involution and inner product from a Hilbert lattice
chg
Next ⟩
df-hgmap
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
chg
Description:
Extend class notation with g-map.
Ref
Expression
Assertion
chg
class
HGMap