Theorem Finset.image_add_right_Ioc

Modification history