Theorem Finset.min'_image

Modification history