Commit 2024-07-16 23:35 d5307c03
View on Github →feat(Order): Galois connection between pred
and succ
(#13505)
This was a longstanding TODO. Kudos to Kevin for putting the pieces together!
feat(Order): Galois connection between pred
and succ
(#13505)
This was a longstanding TODO. Kudos to Kevin for putting the pieces together!