Def DecidableLE1

Modification history

2026-07-08 18:17
MathlibTest/Attribute/ToDual.lean
feat(Translate): validate all translations (#40365) …
Deleted DecidableLE1View on Github →
2026-02-03 15:41
MathlibTest/ToDual.lean
feat: unfold-boundaries in `to_dual` (#32438) …
Added DecidableLE1View on Github →