Theorem List.headI_dedup

Modification history

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