Def Mathlib.Tactic.SolveByElim.Config.noBackTracking

Modification history

2023-04-21 02:11

Mathlib/Tactic/SolveByElim.lean

chore: simplify how solve_by_elim works when not backtracking (#3480) …

Deleted Mathlib.Tactic.SolveByElim.Config.noBackTracking View on Github →

2023-01-09 15:05

Mathlib/Tactic/SolveByElim.lean

feat: refactor of solve_by_elim (#856) …

Added Mathlib.Tactic.SolveByElim.Config.noBackTracking View on Github →