Theorem Finset.mem_of_min

Modification history