Theorem Real.lt_logb_iff_rpow_lt

Modification history

2023-05-20 14:05

Mathlib/Analysis/SpecialFunctions/Log/Base.lean

feat: port Analysis.SpecialFunctions.Log.Base (#4140)

Added Real.lt_logb_iff_rpow_lt View on Github →