Theorem List.length_sublists

Modification history