Theorem List.Ico.map_add

Modification history

2023-12-08 10:23

Mathlib/Data/List/Intervals.lean

chore: Replace `(· op ·) a` by `(a op ·)` (#8843) …

Modified List.Ico.map_add View on Github →

2023-04-03 11:59

Mathlib/Data/List/Intervals.lean

feat: Port/Data.List.Intervals (#1479) …

Added List.Ico.map_add View on Github →