Theorem Finset.image_image₂_right_anticomm

Modification history