Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of involution and inner product from a Hilbert lattice
clpoN
Next ⟩
df-lpolN
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clpoN
Description:
Extend class notation with all polarities of a left module or left vector space.
Ref
Expression
Assertion
clpoN
class
LPol