Deakstadieđáhus: General relativity for mathematicians