SetoidRewrite: various cleanups and simplifications #3889
Annotations
3 errors and 1 warning
|
|
|
Build HoTT
The operation was canceled.
|
|
|
|
Build HoTT:
test/Tactics/napply.v#L16
Could not enable unknown warning
|
Loading