src/HOL/Library/Countable.thy
changeset 61952 546958347e05
parent 61115 3a4400985780
child 62087 44841d07ef1d