Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.countable.bUnion

Modification history

2022-07-25 19:35
src/data/set/countable.lean
feat(data/set/countable): add `iff` versions of some lemmas (#15671)
Deleted set.countable.bUnionView on Github →
2021-02-28 07:50
src/data/set/countable.lean
chore(*): more line lengths (#6472)
Modified set.countable.bUnionView on Github →
2020-06-23 08:40
src/data/set/countable.lean
chore(topology/metric_space/baire): review (#3146) …
Modified set.countable.bUnionView on Github →
2020-05-06 22:41
src/data/set/countable.lean
chore(data/set/countable): use dot syntax here and there (#2617) …
Added set.countable.bUnionView on Github →