Theorem WithZero.toMulBot_strictMono

Modification history