Theorem Set.image2_mul

Modification history