Base field for the two polynomial rings
The object Rings is a symbol.
The source of this document is in TateOnProducts.m2:4243:0.