Theorem List.sublists'_reverse

Modification history