mathlib

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

feat(ring_theory/finiteness): some finiteness notions in commutative algebra (#4634) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr> Co-authored-by: Floris van Doorn <fpvdoorn@gmail.com> Co-authored-by: Scott Morrison <scott@tqft.net>