Theorem Set.image_const_sub_Ioc

Modification history