Theorem continuous_mul

Modification history