Theorem Finset.exists_of_ssubset

Modification history