Def Mathlib.Tactic.Propose.solveByElim

Modification history

2023-04-18 12:01

Mathlib/Tactic/Propose.lean

feat: `propose`, a forwards-reasoning analogue of `library_search`. (#2898) …

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