Reapply "Fix printing multivariate polynomial ring with many variables (#1476)"#1489

Merged

fingolfin merged 1 commit intomasterfrom th/revrevrev

Nov 21, 2023

+13-9

Commits on Nov 3, 2023

Revert "Revert "Fix printing multivariate polynomial ring with many variables (#1476 )""

thofma
authored and
fingolfin
committed