src/HOL/Library/Countable_Set.thy
changeset 76371 1ac2416e8432
parent 74438 5827b91ef30e
child 77138 c8597292cd41