Theorem List.get_drop

Modification history