∫ Утверждение Mathlib
coeffs_subset_range
Mathlib.RingTheory.Extension.Presentation.Core
URI: https://scilib.ai/kg/mathlib#Algebra.Presentation.coeffs_subset_range
∫ Утверждение Mathlib
Mathlib.RingTheory.Extension.Presentation.Core
URI: https://scilib.ai/kg/mathlib#Algebra.Presentation.coeffs_subset_range