Theorem WithBot.bot_ne_nat

Modification history