Def Mathlib.TacticAnalysis.grindReplacementWith

Modification history

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