General adjoint functor theorem #3142

Triggered via pull request September 23, 2024 16:33

plt-amy

synchronize #433

aliao/aft

Status Success

Total duration 2m 39s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	13.8 MB