Theorem Set.image_mul_left_Ioi

Modification history