A certain sub-variety of a Grassmannian.
For an ind-version see
Last revised on August 31, 2022 at 19:10:06. See the history of this page for a list of all contributions to it.