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

Unicode
Structured

Syntax definition chg

Description: Extend class notation with g-map.

		Ref	Expression
	Assertion	chg	class HGMap