Def Mathlib.MoveAdd.moveOperSimpCtx

Modification history

2024-12-08 15:02

Mathlib/Tactic/MoveAdd.lean

chore(*): rename some `defs` to `camelCase` (#19795)

Added Mathlib.MoveAdd.moveOperSimpCtx View on Github →