Theorem Finset.Nonempty.exists_mem

Modification history