Loading paper
The Grothendieck constant is strictly smaller than Krivine's bound | Tomesphere