Theorem List.disjoint_of_nodup_append

Modification history