∫ Утверждение Mathlib
restrictDvd_surjective
Mathlib.FieldTheory.PolynomialGaloisGroup
URI: https://scilib.ai/kg/mathlib#Polynomial.Gal.restrictDvd_surjective
∫ Утверждение Mathlib
Mathlib.FieldTheory.PolynomialGaloisGroup
URI: https://scilib.ai/kg/mathlib#Polynomial.Gal.restrictDvd_surjective