Theorem Finset.max_mem_insert_bot_image_coe

Modification history