Theorem Finset.min'_lt_of_mem_erase_min'

Modification history