Theorem List.insertNth_comm

Modification history