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 →