Theorem Finset.filter_mem_image_eq_image

Modification history