Theorem Finset.image₂_inter_left

Modification history