Theorem Algebra.FinitePresentation.ker_fg_of_mvPolynomial

Modification history