Theorem WithZero.log_mul

Modification history