Theorem WithZero.toMulBot_lt

Modification history