Theorem Set.image_const_sub_Ioo

Modification history