Skip to content
Propose PR

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

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 #75

Run time

Learn about OS pricing on GitHub Actions
Job Run time
propose_pr
0s
0s