Theorem List.dedup_eq_cons

Modification history

2023-07-16 09:12
Mathlib/Data/List/Dedup.lean
chore: forward-port leanprover-community/mathlib#19142 (#5893)
Added List.dedup_eq_consView on Github →