Theorem Finset.mem_image_const_self

Modification history