Theorem Finset.exists_min_image

Modification history