Theorem Finset.image₂_singleton_left

Modification history