Theorem lt_add_one

Modification history