# Commit 2021-05-03 21:31 37735250

View on Github →feat(ring_theory/finiteness): add lemmas (#7409) I add here some preliminary lemmas to prove that a monoid is finitely generated iff the monoid algebra is.

Mathlib v3 is deprecated. Go to Mathlib v4

feat(ring_theory/finiteness): add lemmas (#7409) I add here some preliminary lemmas to prove that a monoid is finitely generated iff the monoid algebra is.