ofReal_lt_one — Mathlib · SciLib

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

ofReal_lt_one

Mathlib.Data.ENNReal.Real

URI: https://scilib.ai/kg/mathlib#ENNReal.ofReal_lt_one

← MathLib Explorer