Def linarithToGrindRegressions

Modification history

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