Skip to content

The set of natural transformations between two functors is an end #520

The set of natural transformations between two functors is an end

The set of natural transformations between two functors is an end #520

Triggered via pull request March 28, 2025 07:44
Status Success
Total duration 1m 24s
Artifacts

ci-ubuntu.yml

on: pull_request
test-categories
1m 21s
test-categories
Fit to window
Zoom out
Zoom in