Theorem Finset.Nonempty.image_iff

Modification history