Theorem List.notMem_keys

Modification history

2025-10-14 03:26

Mathlib/Data/List/Sigma.lean

feat(Data/List/Sigma): grind annotations, some missing API (#30313) …

Modified List.notMem_keys View on Github →

2025-05-25 12:30

Mathlib/Data/List/Sigma.lean

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

Added List.notMem_keys View on Github →