-
Robbert Krebbers authored
Remove the weaker version with the `_lb` since the stronger version is just as easy to use in the proofmode.
90794028
Remove the weaker version with the `_lb` since the stronger version is just as easy to use in the proofmode.