remove more hypotheses in §Additional definitions for (multivariate) polynomials#5017

wlammen merged 4 commits intometamath:developmetamath/set.mm:developfrom

icecream17:developicecream17/set.mm:developCopy head branch name to clipboard