Theorem Finset.filter_image

Modification history