Structure Mathlib.Tactic.SolveByElim.ApplyRulesConfig

Modification history