Theorem List.length_modifyNth

Modification history