Theorem Set.image_mul_right_Ioc

Modification history