Theorem List.repeat_sublist_repeat

Modification history