Theorem UniformSpace.ball_iInter

Modification history

2025-04-24 17:34
Mathlib/Topology/UniformSpace/Defs.lean
feat(Dynamics/TopologicalEntropy): Topological entropy and subsets (#24262) …
Added UniformSpace.ball_iInterView on Github →