Skip to content
build

Koebe-Pick theorem: analogue to Koebe at a non-origin point #81

Sign in to view logs

Koebe-Pick theorem: analogue to Koebe at a non-origin point

Koebe-Pick theorem: analogue to Koebe at a non-origin point #81

Triggered via push December 16, 2025 22:58
@girvinggirving
pushed 2bfb7ce
main
Status Success
Total duration 2m 10s
Artifacts –

lean.yml

on: push
build
2m 6s
build
Fit to window
Zoom out
Zoom in