Theorem List.removeNth_insertNth

Modification history