Theorem Finset.image₂_image_left_anticomm

Modification history