Theorem Set.image_mul_right_Icc'

Modification history