Mathlib v3 is deprecated. Go to Mathlib v4

Def set.enumerate

Modification history

2017-09-11 11:32

data/set/countable.lean

fix(data/set/countable): finish proof countable_sUnion

Modified set.enumerate View on Github →

2017-09-10 23:28

data/set/countable.lean

feat(data/set): add countable sets

Added set.enumerate View on Github →