Theorem Finset.image₂_nonempty_iff

Modification history