instReprIneq — Mathlib · SciLib

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

instReprIneq

Mathlib.Data.Ineq

URI: https://scilib.ai/kg/mathlib#Mathlib.instReprIneq

← MathLib Explorer