Theorem Finset.min'_mem

Modification history