Theorem Finset.exists_mem_insert

Modification history