Theorem List.nodup_iff_getElem?_ne_getElem?

Modification history