Theorem Set.image_const_add_Iic

Modification history