Theorem List.modifyNthTail_eq_take_drop

Modification history