Properties of the 1-Category of Bimodules #567
tillrampeci-ubuntu.yml
on: pull_request
test-categories
13m 27s
Annotations
1 warning
|
test-categories
Agda libraries file already contains a copy of standard-library
|