hasPolynomialRing
P168033
predicate
Indicates that one mathematical structure is associated with, or defined over, a specific polynomial ring.
P168033
predicate
Indicates that one mathematical structure is associated with, or defined over, a specific polynomial ring.