Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-09-11 11:58 8ed673d0

View on Github →

feat(data/set/countable): finite sets are countable

Estimated changes

Modified data/encodable.lean

Modified data/set/countable.lean

added theorem set.countable_Union

added theorem set.countable_finite

added theorem set.countable_insert

added theorem set.countable_union