Theorem List.nodup_iff_injective_getElem

Modification history