src/HOL/Library/Sum_of_Squares.thy
changeset 42231 bc1891226d00
parent 41950 134131d519c0
child 42616 92715b528e78