Finite generation conjecture for Galois groups of PAC extensions
Finite generation conjecture. If MMM is PAC over KKK, then
MathDB