Deakstadieđáhus: Biblioteca de matemática superior