Let being an isomorphism be a property #6633
Annotations
2 errors
|
|
|
Restore Agda formalization cache
The operation was canceled.
|
Loading