共 50 条
- [41] Difference between l-adic Galois representations and pro-l outer Galois representations associated to hyperbolic curves manuscripta mathematica, 2017, 153 : 129 - 145
- [44] Formalising Families of l-adic Galois Representations in Lean 4 MATHEMATICAL SOFTWARE-ICMS 2024, 2024, 14749 : 57 - 62