Theorem List.getElem?_eq

Modification history