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

inf_eq_add

Mathlib.Algebra.Tropical.Basic

URI: https://scilib.ai/kg/mathlib#Tropical.inf_eq_add

← MathLib Explorer