Theorem measurable_mul_op

Modification history