-
Robbert Krebbers authored
Fix both an error by my, and a provide compatibility with older Coq versions whose `lia` is less powerful.
ad2e80d6
Fix both an error by my, and a provide compatibility with older Coq versions whose `lia` is less powerful.