› added 1 year ago
89
TIL that every local field is isomorphic to R, C , a finite extension of Q_p , or a finite extension of the field of Laurent series over F_p
via reddit.com