Theorem List.Duplicate.mem

Modification history

2023-01-19 07:45

Mathlib/Data/List/Duplicate.lean

chore: format `by` line breaks (#1523) …

Modified List.Duplicate.mem View on Github →

2023-01-10 20:53

Mathlib/Data/List/Duplicate.lean

feat: port Mathlib.Data.List.Duplicate (#1465) …

Added List.Duplicate.mem View on Github →