Add characteristic for multivariate quotient rings over fields#4241
Merged
fingolfin merged 1 commit intomasterfrom js/charquoOct 24, 2024
+14
characteristic for multivariate quotient rings over fields#4241