Theorem List.perm_eraseIdx_of_getElem?_eq

Modification history