Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of a vector space from a Hilbert lattice
cwpointsN

Next ⟩ cpautN

Metamath Proof Explorer

Unicode
Structured

Syntax definition cwpointsN

Description: Extend class notation with W points.

		Ref	Expression
	Assertion	cwpointsN	class WAtoms