fix #195815
KhaAnnotations
3 errors
|
Build
The process '/usr/bin/env' failed with exit code 1
|
|
Build
The process '/usr/bin/bash' failed with exit code 1
|
|
Build:
Mathlib/Data/Int/Order/Basic.lean#L19
'decNonneg' not found in the provided declarations:
|