Multiplicative orders on terms (Q950910)

From MaRDI portal