Theorem Finset.Finset.exists_mem_empty_iff

Modification history