funExt is an equivalence. #2252
Annotations
2 errors
test-cubical
The run was canceled by @mortberg.
|
test-cubical
The operation was canceled.
|