Theorem isBot_or_exists_lt

Modification history