removed functorCat #23
Annotations
1 error
|
Run coq-community/docker-coq-action@v1:
theories/WildCat/Yoneda.v#L6
Cannot find a physical path bound to logical path WildCat.FunctorCat.
Command exited with non-zero status 1
|
Loading