SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2024-12-25 23:28:36 -06:00
Code Issues Projects Releases Packages Wiki Activity

merged readme files

Browse source
This commit is contained in:
GTBarkley 2023-06-10 04:27:40 +00:00
parent f2270a009e
commit d736cf81b3
2 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
README.md
View file

@ -1,9 +1,10 @@
# comm_alg
SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib
# Commutative algebra in Lean
We start the comm algebra project by important definitions and theorems and go from there.
Welcome to the repository for adding definitions and theorems related to Krull dimension and Hilbert polynomials to mathlib.
Feel free to add, modify, and expand this file. Below are starting point for the project:
We start the commutative algebra project with a list of important definitions and theorems and go from there.
Feel free to add, modify, and expand this file. Below are starting points for the project:
Definitions of an ideal, prime ideal, and maximal ideal

3
Readme.md
View file

@ -1,3 +0,0 @@
# Commutative algebra in Lean
Welcome to the repository for definitions and theorems related to Krull dimension and Hilbert polynomials.