GitHub repository: GTBarkley/comm_alg
Primary language: Lean
Created: 2023-06-09T23:27:47Z
Description: SLMath collaboration for adding Krull dimension and Hilbert polynomial to mathlib