Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.countable_pi

Modification history

2022-07-23 17:07

src/data/set/countable.lean

refactor(data/set/countable): golf using `_root_.countable`, review API (#15624) …

Modified set.countable_pi View on Github →

2022-06-22 18:31

src/data/set/countable.lean

refactor(data/set/countable): make `set.countable` protected (#14886) …

Modified set.countable_pi View on Github →

2018-09-21 17:46

data/set/countable.lean

feat(data/set): add set.pi

Added set.countable_pi View on Github →