Theorem Set.image_sub_const_Ioc

Modification history