Theorem Mathlib.Tactic.LinearCombination.eq_of_add_pow

Modification history