# Commit 2020-10-26 18:39 877a20e3

View on Github →feat(ring_theory/finiteness): some finiteness notions in commutative algebra (#4634)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(ring_theory/finiteness): some finiteness notions in commutative algebra (#4634)