Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Steven Nguyen
Projective spaces
cprjsp
Next ⟩
df-prjsp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cprjsp
Description:
Extend class notation with the projective space function.
Ref
Expression
Assertion
cprjsp
class
ℙ𝕣𝕠𝕛