Theorem Finset.Finset.exists_mem_insert

Modification history