Theory Sturm_Library

section Miscellaneous
theory Sturm_Library
imports Misc_Polynomial
begin
end