Theorem List.modifyNthTail_modifyNthTail_same

Modification history