Theorem List.length_removeNth

Modification history