General adjoint functor theorem #3144

Triggered via pull request September 23, 2024 17:40

plt-amy

synchronize #433

aliao/aft

Status Success

Total duration 2m 32s

Artifacts 1

build.yml

on: pull_request

Produced during runtime

Name	Size
github-pages Expired	13.8 MB