Changes

Summary

generalized type (helps applications that don't have a meaningful multiplication operator, for example)

Changeset 7393:2393b67578f2 by blanchet: generalized type (helps applications that don't have a meaningful multiplication operator, for example)
The file was modified	`thys/Polynomials/Polynomials.thy` (diff)