Theorem List.getElem_insertNth_self

Modification history