Theorem Finset.Nonempty.of_image₂_left

Modification history