Theorem Finset.max_mem_image_coe

Modification history