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

Next ⟩ cpautN

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cwpointsN

Description: Extend class notation with W points.

		Ref	Expression
	Assertion	cwpointsN	$class WAtoms$