Theorem List.length_eraseP_add_one

Modification history