Def Mathlib.Tactic.SolveByElim.applyFirst

Modification history

2024-01-05 01:23

Mathlib/Tactic/SolveByElim.lean

chore: bump std4 dependency (#9426) …

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

2023-04-21 02:11

Mathlib/Tactic/SolveByElim.lean

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

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