Theorem Set.image_mul_right_Icc

Modification history