Theorem mem_residual

Modification history

2024-02-05 10:10
Mathlib/Topology/MetricSpace/Baire.lean
chore(MetricSpace/Baire): fix Encodable/Countable (#10249) …
Modified mem_residualView on Github →
2024-01-08 13:15
Mathlib/Topology/MetricSpace/Baire.lean
chore(*): use `∃ x ∈ s, p x` instead of `∃ x (_ : x ∈ s), p x` (#9326) …
Modified mem_residualView on Github →
2023-06-12 01:02
Mathlib/Topology/MetricSpace/Baire.lean
chore: formatting issues (#4947)
Modified mem_residualView on Github →
2023-05-23 09:47
Mathlib/Topology/MetricSpace/Baire.lean
chore: forward-port leanprover-community/mathlib#18962 (#4209)
Modified mem_residualView on Github →
2023-04-17 06:46
Mathlib/Topology/MetricSpace/Baire.lean
feat: port Topology.MetricSpace.Baire (#3315)
Added mem_residualView on Github →