Theorem List.length_split_lt

Modification history