Theorem eventuallyEq_toIcoDiv_nhdsGE

Modification history

2026-01-13 18:40
Mathlib/Topology/Instances/AddCircle/Defs.lean
feat(AddCircle/Defs): prove continuity of `toIocDiv` etc (#33525)
Added eventuallyEq_toIcoDiv_nhdsGEView on Github →