Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of a vector space from a Hilbert lattice
clh
Next ⟩
claut
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clh
Description:
Extend class notation with set of all co-atoms (lattice hyperplanes).
Ref
Expression
Assertion
clh
class
LHyp