Theorem List.dedup_cons

Modification history

2025-10-06 22:42
Mathlib/Data/List/Dedup.lean
feat(Data/List): relate destutter and dedup (#30228)
Added List.dedup_consView on Github →