Mathlib Changelog
v4
Changelog
About
Github
Def
Mathlib.MoveAdd.weight
Modification history
2023-10-09 12:27
Mathlib/Tactic/MoveAdd.lean
feat(Tactic/MoveAdd): port `move_add` (#6576) …
Added
Mathlib.MoveAdd.weight
View on Github →