Loading paper
Orthogonality for $(0,-1)$ tropical normal matrices | Tomesphere