src/HOL/Library/Countable.thy
changeset 57637 eeb2d50ec71f
parent 57437 0baf08c075b9
child 58112 8081087096ad