Def Mathlib.Tactic.SolveByElim.exceptEmoji

Modification history