Theorem List.get_eq_getElem?

Modification history