Deakstadieđáhus: Function field arithmetic