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