Inductive Mathlib.Tactic.LinearCombination'.Expanded

Modification history

2024-08-27 00:43

Mathlib/Tactic/LinearCombination'.lean

chore: fork `linear_combination` to `linear_combination'` (#16166) …

Added Mathlib.Tactic.LinearCombination'.Expanded View on Github →