dim X
i1 : dim abstractProjectiveSpace 4 o1 = 4
The source of this document is in Schubert2.m2:1857:0.