Theorem Set.image_const_add_Iio

Modification history