Commit 2021-03-16 04:37 0176b422
View on Github →feat(ring_theory/finiteness): add mv_polynomial_of_finite_presentation (#6512)
Add mv_polynomial_of_finite_presentation: the polynomial ring over a finitely presented algebra is finitely presented.