Skip to content
Withdraw PR

The integral closure of a Dedekind domain in a finite separable extension is finite #74

Sign in to view logs

The integral closure of a Dedekind domain in a finite separable extension is finite

The integral closure of a Dedekind domain in a finite separable extension is finite #74

Triggered via issue November 7, 2024 21:42
@4hma4d4hma4d
commented on #202 877271f
Status Skipped
Total duration 2s
Artifacts –

04-withdraw-pr.yml

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