Theorem Finset.image₂_singleton_right

Modification history