Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Construction of a vector space from a Hilbert lattice
cpclN
Next ⟩
df-pclN
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cpclN
Description:
Extend class notation with projective subspace closure.
Ref
Expression
Assertion
cpclN
$${class}\mathrm{PCl}$$