Def Mathlib.MoveAdd.move_oper_simpCtx

Modification history

2024-12-08 15:02
Mathlib/Tactic/MoveAdd.lean
chore(*): rename some `defs` to `camelCase` (#19795)
Deleted Mathlib.MoveAdd.move_oper_simpCtxView on Github →
2023-10-09 12:27
Mathlib/Tactic/MoveAdd.lean
feat(Tactic/MoveAdd): port `move_add` (#6576) …
Added Mathlib.MoveAdd.move_oper_simpCtxView on Github →