Theorem continuousAt_toIocMod

Modification history

2024-08-07 07:08

Mathlib/Topology/Instances/AddCircle.lean

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

Modified continuousAt_toIocMod View on Github →

2023-05-16 06:36

Mathlib/Topology/Instances/AddCircle.lean

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

Added continuousAt_toIocMod View on Github →