p-adic extensions .. toctree:: fake_padic_completions fake_padic_embeddings fake_padic_extensions weak_padic_galois_extensions