Change behavior of `base_ring` for `UniversalPolyRing`#2182

Merged

SoongNoonien merged 1 commit intoNemocas:masterfrom

SoongNoonien:univ_poly_base_ring

Dec 12, 2025

Commits on Dec 11, 2025

Change behavior of `base_ring` for `UniversalPolyRing`

SoongNoonien
and
fingolfin
committed