Theorem WithBot.mul_bot

Modification history