Theorem List.get_cons_drop

Modification history