General adjoint functor theorem (#433) #3148

Triggered via push September 23, 2024 19:36

plt-amy

main

Status Success

Total duration 9m 46s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	13.9 MB