Theorem List.sublist_repeat_iff

Modification history