Loading paper
Transitivity of the $\mathbb{B}^+_\mathrm{dR}$-loop group action on Schubert cells | Tomesphere