src/HOL/Library/Countable_Set.thy
changeset 50516 ed6b40d15d1c
parent 50245 dea9363887a6
child 50936 b28f258ebc1a