Theorem Finset.image_image₂_antidistrib_right

Modification history