Mathlib Changelog
v4
Changelog
About
Github
Def
tryAtEachStepGrindSuggestions
Modification history
2025-11-18 10:56
Mathlib/Tactic/TacticAnalysis/Declarations.lean
chore: bump toolchain to v4.26.0-rc1 (#31763)
Added
tryAtEachStepGrindSuggestions
View on Github →