Theorem List.sublists_concat

Modification history