Theorem Finset.image_add_left_Ioc

Modification history