src/HOL/Library/Sum_of_Squares/sos_wrapper.ML
changeset 65151 a7394aa4d21c
parent 63518 ae8fd6fe63a1
child 69593 3dda49e08b9d