Theorem Finset.exists_mem_eq_sup

Modification history