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