Def omegaToLiaRegressions

Modification history

2025-12-14 13:26
Mathlib/Tactic/TacticAnalysis/Declarations.lean
chore: bump toolchain to v4.27.0-rc1 (#32874)
Added omegaToLiaRegressionsView on Github →