Def ringToGrindRegressions

Modification history

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