one_div_lt — Mathlib · SciLib

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

one_div_lt

Mathlib.Algebra.Order.Field.Basic

URI: https://scilib.ai/kg/mathlib#one_div_lt

← MathLib Explorer