Commit 2026-03-02 13:09 17c7f45e
View on Github →chore: use to_dual on WellFoundedLT.toOrderBot (#35758)
And also make the argument explicit, so it can be called as let := WellFoundedLT.toOrderBot α.
chore: use to_dual on WellFoundedLT.toOrderBot (#35758)
And also make the argument explicit, so it can be called as let := WellFoundedLT.toOrderBot α.