proving a set is countable

Printable View