Theorem WithBot.bot_mul

Modification history