Def Mathlib.Tactic.Says.evalTacticCapturingTryThis

Modification history

2023-07-27 17:38
Mathlib/Tactic/Says.lean
feat: says tactic combinator (#5980) …
Added Mathlib.Tactic.Says.evalTacticCapturingTryThisView on Github →