Theorem List.nodup_attach

Modification history