Skip to content
File formatting

Functorial isomorphism of shape inclusions #208

Sign in to view logs

Functorial isomorphism of shape inclusions

Functorial isomorphism of shape inclusions #208

Triggered via pull request November 10, 2023 02:11
@emilyriehlemilyriehl
synchronize #138
TashiWalde:right-orthogonal-calculus
Status Success
Total duration 15s
Artifacts –

format.yml

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