Theorem HasCompactMulSupport.of_mulSupport_subset_isCompact
Modification history
2024-01-29 18:36
Mathlib/Topology/Support.lean
feat(Topology/Separation): define R₁ spaces, review API (#10085) …
Modified HasCompactMulSupport.of_mulSupport_subset_isCompactView on Github →2024-01-29 06:37
Mathlib/Topology/Support.lean
feat: minor topological improvements (#9908) …
Modified HasCompactMulSupport.of_mulSupport_subset_isCompactView on Github →