Def Mathlib.Tactic.Rewrites.solveByElim

Modification history

2024-05-02 13:42

Mathlib/Tactic/Rewrites.lean

chore: move to v4.8.0-rc1 (#12548) …

Deleted Mathlib.Tactic.Rewrites.solveByElim View on Github →

2023-10-19 22:44

Mathlib/Tactic/Rewrites.lean

feat: rw? can discharge side conditions using local hypotheses (#7770)

Added Mathlib.Tactic.Rewrites.solveByElim View on Github →