Field of p-adic numbers


field of p-adic numbers is a field.