Theorem Set.exists_finite_iff_finset

Modification history