Theorem Finset.image_op_mul

Modification history