Skip to content
Withdraw PR

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done #104

Sign in to view logs

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done

Blueprint: IsDedekindDomain.HeightOneSpectrum.valuation_comap is done #104

Triggered via issue November 13, 2024 09:03
@kbuzzardkbuzzard
commented on #216 7f9ccb8
Status Skipped
Total duration 3s
Artifacts –

04-withdraw-pr.yml

on: issue_comment
withdraw_pr
0s
withdraw_pr
Fit to window
Zoom out
Zoom in