dimensionFormula

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Grassmannians k(n-k)
gptkb:B_n_series n(2n+1)
gptkb:symplectic_Stiefel_manifold 2nk - k(2k+1)