Commit 2022-01-28 13:31 445be96e

fix(tactic/squeeze): squeeze_simp providing invalid suggestions (#11696) squeeze_simp was previously permuting the lemmas passed to simp, which caused failures in cases where the lemma order mattered. The fix is to ensure that squeeze_simp does not change the order of passed lemmas. Closes #3097