Theorem List.length_inits

Modification history