Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.abs_log_mul_self_lt

Modification history

2022-05-09 08:31
src/analysis/special_functions/log/basic.lean
feat(analysis/special_functions): differentiability of Gamma function (#13000) …
Added real.abs_log_mul_self_ltView on Github →