arnaucube/math
1
1
Fork 0
mirror of https://github.com/arnaucube/math.git synced 2026-01-13 01:11:29 +01:00
Code Issues Projects Releases Wiki Activity

add lemma 4.6 proof, polish Noether normalization lemma's proof, add aux lemma on integrality implies finiteness

Browse Source
This commit is contained in:
arnaucube
2026-01-04 19:20:43 +01:00
parent dfd49d1571
commit 15f00f14ff
4 changed files with 114 additions and 40 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/typos.toml vendored
View File

@@ -1,3 +1,7 @@
# usage:
# install `typos`: https://github.com/crate-ci/typos
# run: typos -c .github/workflows/typos.toml
[default.extend-words]
iddeal = "ideal"
iddeals = "ideals"