Def List.Func.add

Modification history

2024-04-05 20:49

Mathlib/Data/List/Func.lean

chore(Data/List/Func): Delete (#11847) …

Deleted List.Func.add View on Github →

2022-12-17 09:35

Mathlib/Data/List/Func.lean

feat: port `Data.List.Func` (#1048) …

Added List.Func.add View on Github →