Def Mathlib.TacticAnalysis.terminalReplacement

Modification history

2025-09-16 13:27
Mathlib/Tactic/TacticAnalysis/Declarations.lean
feat: generalize terminal tactic analysis (#29694) …
Added Mathlib.TacticAnalysis.terminalReplacementView on Github →