Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Steven Nguyen
Looking at a corner in 3D space, one can see three right angles. It is
cprjspn
Next ⟩
df-prjspn
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cprjspn
Description:
Extend class notation with the n-dimensional projective space function.
Ref
Expression
Assertion
cprjspn
class
ℙ𝕣𝕠𝕛
n