Loading paper
The multiplicative structure on polynomial continuous valuations | Tomesphere