Theorem List.not_mem_keys_of_nodupKeys_cons

Modification history

2025-05-25 12:30

Mathlib/Data/List/Sigma.lean

chore(*): not_mem/nmem -> notMem (#25159)

Deleted List.not_mem_keys_of_nodupKeys_cons View on Github →

2023-03-21 18:48

Mathlib/Data/List/Sigma.lean

feat(data/list/alist): recursion on alist using insert (#1724) …

Added List.not_mem_keys_of_nodupKeys_cons View on Github →