Mathlib v3 is deprecated. Go to Mathlib v4

Theorem tendsto_log_mul_rpow_nhds_zero

Modification history

2023-05-15 19:52
src/analysis/special_functions/pow.lean
chore(analysis/special_functions): split up `pow.lean` (#19006) …
Modified tendsto_log_mul_rpow_nhds_zeroView on Github →
2022-08-29 20:01
src/analysis/special_functions/pow.lean
chore(analysis/special_functions): correct typo (#16280)
Added tendsto_log_mul_rpow_nhds_zeroView on Github →