Def Mathlib.MoveAdd.rankSums

Modification history

2023-10-09 12:27
Mathlib/Tactic/MoveAdd.lean
feat(Tactic/MoveAdd): port `move_add` (#6576) …
Added Mathlib.MoveAdd.rankSumsView on Github →