Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Norm Megill
Projective geometries based on Hilbert lattices
cpointsN
Next ⟩
cpsubsp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cpointsN
Description:
Extend class notation with set of all projective points.
Ref
Expression
Assertion
cpointsN
class
Points