Theorem Set.image_const_sub_Ioi

Modification history