Theorem List.length_drop

Modification history