Theorem Finset.min'_insert

Modification history