Theorem List.length_take

Modification history