Theorem WithBot.nat_ne_bot

Modification history