i1 : X = abstractProjectiveSpace 4
o1 = X
o1 : a flag bundle with subquotient ranks {1, 4}
|
i2 : X.Base
o2 = point
o2 : an abstract variety of dimension 0
|
i3 : Y = abstractProjectiveSpace_3 X
o3 = Y
o3 : a flag bundle with subquotient ranks {1, 3}
|
i4 : Y.Base
o4 = X
o4 : a flag bundle with subquotient ranks {1, 4}
|