From d736cf81b3ef94a4961226a0a267a098ecc2096d Mon Sep 17 00:00:00 2001 From: GTBarkley Date: Sat, 10 Jun 2023 04:27:40 +0000 Subject: [PATCH] merged readme files --- README.md | 9 +++++---- Readme.md | 3 --- 2 files changed, 5 insertions(+), 7 deletions(-) delete mode 100644 Readme.md diff --git a/README.md b/README.md index f140359..9fe7965 100644 --- a/README.md +++ b/README.md @@ -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 diff --git a/Readme.md b/Readme.md deleted file mode 100644 index 1522392..0000000 --- a/Readme.md +++ /dev/null @@ -1,3 +0,0 @@ -# Commutative algebra in Lean - -Welcome to the repository for definitions and theorems related to Krull dimension and Hilbert polynomials. \ No newline at end of file