Def Mathlib.MoveAdd.sumList

Modification history

2023-12-12 19:59
Mathlib/Tactic/MoveAdd.lean
feat({ Tactic + test }/MoveAdd): make `And/Or` left-associative (#8607) …
Modified Mathlib.MoveAdd.sumListView on Github →
2023-10-09 12:27
Mathlib/Tactic/MoveAdd.lean
feat(Tactic/MoveAdd): port `move_add` (#6576) …
Added Mathlib.MoveAdd.sumListView on Github →