Def Mathlib.Tactic.SolveByElim.applyTactics

Modification history

2024-01-05 01:23

Mathlib/Tactic/SolveByElim.lean

chore: bump std4 dependency (#9426) …

Deleted Mathlib.Tactic.SolveByElim.applyTactics View on Github →

2023-04-02 07:27

Mathlib/Tactic/SolveByElim.lean

feat: factor out backtracking code from solve_by_elim (#2920) …

Added Mathlib.Tactic.SolveByElim.applyTactics View on Github →