Do syntax for propositional truncations, including application to strict real inequality #9086
Annotations
2 errors
|
|
|
Typecheck library
The operation was canceled.
|
Loading