# Theorem monoid_algebra.mem_adjoint_support

#### Modification history

2022-08-24 09:35

src/ring_theory/finiteness.lean

feat(ring_theory/localization/away): finitely presented as R[X]/(rX-1) (#12455) …

Deleted monoid_algebra.mem_adjoint_supportView on Github →