Theorem List.dedup_idempotent

Modification history