Skip to content

Add some type relations and isomorphisms #730

Add some type relations and isomorphisms

Add some type relations and isomorphisms #730

Triggered via pull request September 30, 2024 17:23
Status Success
Total duration 16s
Artifacts

whitespace.yml

on: pull_request
check-whitespace
6s
check-whitespace
Fit to window
Zoom out
Zoom in