Skip to content
Build the book

work on homomorphisms (and hence also on ptd types) #629

Sign in to view logs

work on homomorphisms (and hence also on ptd types)

work on homomorphisms (and hence also on ptd types) #629

Triggered via push August 21, 2023 10:17
@UlrikBuchholtzUlrikBuchholtz
pushed 22eb123
master
Status Success
Total duration 4m 55s
Artifacts –

latexmk.yml

on: push
build_latex
4m 45s
build_latex
Fit to window
Zoom out
Zoom in