Def Mathlib.Tactic.LinearCombination.elabLinearCombination

Modification history

2024-08-22 23:39
Mathlib/Tactic/LinearCombination.lean
fix: error positioning in `linear_combination` (#16072) …
Modified Mathlib.Tactic.LinearCombination.elabLinearCombinationView on Github →
2022-11-17 05:45
Mathlib/Tactic/LinearCombination.lean
feat: `linear_combination` tactic (#605) …
Added Mathlib.Tactic.LinearCombination.elabLinearCombinationView on Github →