Mathlib Changelog
v4
Changelog
About
Github
Def
omegaToLiaRegressions
Modification history
2025-12-14 13:26
Mathlib/Tactic/TacticAnalysis/Declarations.lean
chore: bump toolchain to v4.27.0-rc1 (#32874)
Added
omegaToLiaRegressions
View on Github →