src/HOL/Library/Sum_of_Squares/positivstellensatz.ML
changeset 82902 99a720d3ed8f
parent 81942 da3c3948a39c