Theorem List.length_erase_add_one

Modification history