src/HOL/Library/Sum_of_Squares.thy
changeset 49083 01081bca31b6
parent 48891 c0eafbd55de3
child 54703 499f92dc6e45