Theorem List.not_duplicate_singleton

Modification history