Polynomial ring in infinitely many variables over a field

GPTKB entity