Theorem tendsto_div_nhds_one_iff_eq₀

Modification history

2026-07-17 21:13
Mathlib/Topology/Algebra/GroupWithZero.lean
feat(Topology/Algebra/Group/Basic): add eq_of_tendsto_div_nhds_one (#41230) …
Added tendsto_div_nhds_one_iff_eq₀View on Github →