mirror of
https://github.com/GTBarkley/comm_alg.git
synced 2025-04-04 04:58:04 -05:00
SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib
.gitignore | ||
CommAlg.lean | ||
lake-manifest.json | ||
lakefile.lean | ||
lean-toolchain |