∫ Утверждение Mathlib

realize_zero

Mathlib.ModelTheory.Arithmetic.Presburger.Basic

URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.presburger.realize_zero

← MathLib Explorer