Theorem not_is_bot

Modification history