TY - RPRT TI - Explicit lower bounds for the height in Galois extensions of number fields AU - Jonathan Jenvrin PY - 2024 UR - https://arxiv.org/abs/2402.04908 ID - 2402.04908 ER -