Theorem Finset.image_compl

Modification history