A library for univariate polynomials -- generalizes old Hyperreal/Poly.thy from reals to locales
A library for univariate polynomials -- generalizes old Hyperreal/Poly.thy from reals to locales

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle