Loading paper
Approximately diagonalizing matrices over C(Y) | Tomesphere