Theorem WithBot.bot_mul_bot

Modification history