Def Lean.MVarId.applyFirst

Modification history

2023-04-02 07:27
Mathlib/Tactic/SolveByElim.lean
feat: factor out backtracking code from solve_by_elim (#2920) …
Deleted Lean.MVarId.applyFirstView on Github →
2023-01-17 03:10
Mathlib/Tactic/SolveByElim.lean
feat: add transparency option to solve_by_elim (#1609)
Modified Lean.MVarId.applyFirstView on Github →
2023-01-09 15:05
Mathlib/Tactic/SolveByElim.lean
feat: refactor of solve_by_elim (#856) …
Added Lean.MVarId.applyFirstView on Github →