Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.to_countable

Modification history

2022-07-23 17:07

src/data/set/countable.lean

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

Added set.to_countable View on Github →