Theorem Finset.Nonempty.of_image₂_right

Modification history