Def Mathlib.Tactic.LinearCombination.Ineq.rearrangeData

Modification history