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