Theorem Finset.min_erase_ne_self

Modification history