Theorem Finset.upShadow_image_compl

Modification history