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

instOneTerm

Mathlib.ModelTheory.Arithmetic.Presburger.Basic

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

← MathLib Explorer