Theorem Finset.countable_to_set

Modification history