Theorem List.length_tails

Modification history