Structure Mathlib.Tactic.LinearCombination.Config

Modification history

2023-10-20 06:54
Mathlib/Tactic/LinearCombination.lean
feat: add exponentiation option back to `linear_combination` (#7789) …
Deleted Mathlib.Tactic.LinearCombination.ConfigView on Github →
2022-11-17 05:45
Mathlib/Tactic/LinearCombination.lean
feat: `linear_combination` tactic (#605) …
Added Mathlib.Tactic.LinearCombination.ConfigView on Github →