Theorem List.nodup_singleton

Modification history