fix adaptations for lean4#3975 #45
Annotations
1 error
|
test std
Process completed with exit code 2.
|
Loading