Theorem Real.log_div_self

Modification history

2025-01-26 04:59
Mathlib/Analysis/SpecialFunctions/Log/Basic.lean
feat: `log (x / x) = 0` (#21056) …
Added Real.log_div_selfView on Github →