Theorem Set.image_add_const_Iic

Modification history