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