Theorem Finset.mem_image_const

Modification history