Geometry MOC
Grassmannian
The Grassmannian Gr๐โก(๐) is the space of ๐-dimensional subspaces of a vector space ๐ over a field ๐.
It is thus a generalization of the Projectivization Pโก(๐) =Gr1โก(๐).
Constructions
#state/develop | #lang/en | #SemBr