Theorem Finset.mem_image₂

Modification history