2025-01-06

We had a long detour into Cautis-Kamnitzer's constructions, at least we had some familiarity with flag variety.

But, I still do not know about disk with 3 or more stops.