Mathlib v3 is deprecated. Go to Mathlib v4

Theorem real.tendsto_pow_log_div_mul_add_at_top

Modification history

2022-02-27 20:07

src/analysis/special_functions/log.lean

feat(analysis/special_functions): little o behaviour of exp/log at infinity (#11840) …

Added real.tendsto_pow_log_div_mul_add_at_top View on Github →