∫ Утверждение Mathlib
minpoly_squarefree
Mathlib.LinearAlgebra.Semisimple
URI: https://scilib.ai/kg/mathlib#Module.End.IsSemisimple.minpoly_squarefree
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Semisimple
URI: https://scilib.ai/kg/mathlib#Module.End.IsSemisimple.minpoly_squarefree