Theorem Set.countable_setOf_finite_subset

Modification history