Theorem WithAbs.tendsto_one_div_one_add_pow_nhds_one

Modification history

2025-12-04 10:27
Mathlib/Analysis/Normed/Field/WithAbs.lean
feat: weak approximation theorems for infinite places of a number field (#27971) …
Added WithAbs.tendsto_one_div_one_add_pow_nhds_oneView on Github →