Mathlib Changelog
v4
Changelog
About
Github
Def
DecidableLE2
Modification history
2026-02-03 15:41
MathlibTest/ToDual.lean
feat: unfold-boundaries in `to_dual` (#32438) …
Added
DecidableLE2
View on Github →