Theorem List.Nodup.inter

Modification history