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
Unicode
Structured
Syntax definition
cpclN
Description:
Extend class notation with projective subspace closure.
Ref
Expression
Assertion
cpclN
class PCl