∫ Утверждение Mathlib
stableFiltration_stable
Mathlib.RingTheory.Filtration
URI: https://scilib.ai/kg/mathlib#Ideal.stableFiltration_stable
∫ Утверждение Mathlib
Mathlib.RingTheory.Filtration
URI: https://scilib.ai/kg/mathlib#Ideal.stableFiltration_stable