Theorem Finset.image₂_inter_right

Modification history