Theorem List.modifyNth_eq_take_drop

Modification history