Theorem Infinite.exists_not_mem_finset

Modification history