Theorem List.take_take

Modification history