**Field form, arbitrary finite `K/ℚ_p`** (ramified allowed): with the maximal-ideal-adic compact topology on the ring of integers `𝒪_K = padicIntegers p K`, the monic and projective typ

Initializing...

**Field form, arbitrary finite `K/ℚ_p`** (ramified allowed): with the maximal-ideal-adic compact topology on the ring of integers `𝒪_K = padicIntegers p K`, the monic and projective typ · Prove2Me