Theorem List.length_tail

Modification history