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

instAddTerm

Mathlib.ModelTheory.Arithmetic.Presburger.Basic

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

← MathLib Explorer