Theorem exists_int_lt

Modification history