MoveAdd

📁 Source: Mathlib/Tactic/MoveAdd.lean

Statistics

Metric	Count
Definitions getExprInputs, size, getAddends, getOps, moveOperSimpCtx, moveOperTac, pairUp, parseArrows, permuteExpr, prepareOp, rankSums, reorderAndSimp, reorderUsing, sumList, tacticMove_add_, tacticMove_mul_, unifyMovements, uniquify, weight	19
Theorems	0
Total	19

Lean.Expr

Definitions

Name	Category	Theorems
getExprInputs 📖	CompOp	—
size 📖	CompOp	—

Mathlib.MoveAdd

Definitions

Name	Category	Theorems
getAddends 📖	CompOp	—
getOps 📖	CompOp	—
moveOperSimpCtx 📖	CompOp	—
moveOperTac 📖	CompOp	—
pairUp 📖	CompOp	—
parseArrows 📖	CompOp	—
permuteExpr 📖	CompOp	—
prepareOp 📖	CompOp	—
rankSums 📖	CompOp	—
reorderAndSimp 📖	CompOp	—
reorderUsing 📖	CompOp	—
sumList 📖	CompOp	—
tacticMove_add_ 📖	CompOp	—
tacticMove_mul_ 📖	CompOp	—
unifyMovements 📖	CompOp	—
uniquify 📖	CompOp	—
weight 📖	CompOp	—

---

← Back to Index