Add nicknames for unramified and tame p-adic fields (LMFDB#6201) - #26
Closed
roed-math wants to merge 2 commits into
Closed
Add nicknames for unramified and tame p-adic fields (LMFDB#6201)#26roed-math wants to merge 2 commits into
roed-math wants to merge 2 commits into
