Theorem List.insertNth_removeNth_of_ge

Modification history