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

instZeroTerm

Mathlib.ModelTheory.Arithmetic.Presburger.Basic

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

← MathLib Explorer