Theorem discreteTopology_of_codiscreteWithin

Modification history

2025-03-05 19:21

Mathlib/Topology/DiscreteSubset.lean

feat: congruence theorems for interval/circle integrals (#22372) …

Added discreteTopology_of_codiscreteWithin View on Github →