Theorem Set.image_op_mul

Modification history