This project is a test, trying to implement early theorems from commutative algebra to get more comfortable working with lean.
If you have Lean 3 and the community tools installed, you can type
leanproject get leomayer1/WXML_Sp2022
into the command line to fork this project.