Theorem List.revzip_sublists

Modification history