Theorem Finset.exists_mem_eq_inf'

Modification history