Theorem toIcoMod_eventuallyEq_toIocMod

Modification history

2024-08-07 07:08

Mathlib/Topology/Instances/AddCircle.lean

chore: backports for leanprover/lean4#4814 (part 21) (#15510)

Modified toIcoMod_eventuallyEq_toIocMod View on Github →

2023-05-16 06:36

Mathlib/Topology/Instances/AddCircle.lean

feat: port Topology.Instances.AddCircle (#3984)

Added toIcoMod_eventuallyEq_toIocMod View on Github →