Theorem WithBot.bot_mul'

Modification history