Theorem WithZero.toMulBot_zero

Modification history