src/HOL/Library/Sum_of_Squares/sos_wrapper.ML
changeset 41648 6d736d983d5c
parent 41474 60d091240485
child 41950 134131d519c0
equal deleted inserted replaced
41647:5e70526a1947 41648:6d736d983d5c