Theorem Finset.max_erase_ne_self

Modification history