∫ Утверждение Mathlib
presburgerFunc
Mathlib.ModelTheory.Arithmetic.Presburger.Basic
URI: https://scilib.ai/kg/mathlib#FirstOrder.presburgerFunc
∫ Утверждение Mathlib
Mathlib.ModelTheory.Arithmetic.Presburger.Basic
URI: https://scilib.ai/kg/mathlib#FirstOrder.presburgerFunc