MinPrecision: RngIntElt Default: 20
Given a prime ideal P of the maximal order of an etale algebra L it returns the p-adic field corresponding to the completion LP and a homormophism φ: L |-> LP. The parameter MinPrecision is passed to Completion. The map φ has preimage.