Theorem List.reverse_take

Modification history