Theorem Finset.min'_erase_ne_self

Modification history