src/HOL/Library/Countable_Set.thy
changeset 54230 b1d955791529
parent 53381 355a4cac5440
child 54410 0a578fb7fb73