Theorem List.getElem_eq_getElem?

Modification history