Theorem List.getElem_cons_eraseIdx_perm

Modification history