Theorem Finset.exists_mem_eq_sup'

Modification history