Theorem Set.exists_max_image

Modification history