Theorem WithBot.mul_bot'

Modification history