Also import `Arith` in numbers to make sure it shadows (just to be sure).
Passed
Robbert Krebbers
created pipeline for commit
8e38d217
, finished
1 related merge request: !156 Alternative take on #153: fix `le` in future versions of Coq
11 minutes 23 seconds, queued for 1 seconds