Theorem Finset.image_image₂_distrib_right

Modification history