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

instNatCastTerm

Mathlib.ModelTheory.Arithmetic.Presburger.Basic

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

← MathLib Explorer