Theorem List.take_left

Modification history