Theorem List.Duplicate.ne_singleton

Modification history