Skip to content
File formatting

Uniqueness of adjunction data #190

Sign in to view logs

Uniqueness of adjunction data

Uniqueness of adjunction data #190

Triggered via pull request October 27, 2023 17:04
@emilyriehlemilyriehl
synchronize #131
more-adjunctions
Status Success
Total duration 17s
Artifacts –

format.yml

on: pull_request
format
7s
format
Fit to window
Zoom out
Zoom in