Theorem WithZero.zero_mul

Modification history