Theorem ShrinkingLemma.PartialRefinement.exists_gt
Modification history
2024-11-12 16:48
Mathlib/Topology/ShrinkingLemma.lean
feat(Topology/ShrinkingLemma): add a predicate on refined open sets (#18827) …
Modified ShrinkingLemma.PartialRefinement.exists_gtView on Github →