Theorem Finset.map_op_mul

Modification history