Skip to content

add a version of Zorn relativized over a given point #1646

add a version of Zorn relativized over a given point

add a version of Zorn relativized over a given point #1646

Triggered via pull request December 12, 2023 13:24
@t6st6s
opened #1117
Status Success
Total duration 24m 35s
Artifacts

nix-action-8.16.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in