src/HOL/Library/Sum_of_Squares.thy
changeset 42230 594480d25aaa
parent 41950 134131d519c0
child 42616 92715b528e78