Theorem Set.exists_min_image

Modification history