Theorem Mathlib.Tactic.LinearCombination.lt_rearrange

Modification history