Loading paper
Realizability and admissibility under extension of p-adic and number fields | Tomesphere