src/HOL/Library/Sum_of_Squares/sum_of_squares.ML
changeset 65151 a7394aa4d21c
parent 63523 54e932f0c30a
child 67091 1393c2340eec