src/HOL/Library/Sum_of_Squares.thy
changeset 49322 fbb320d02420
parent 48891 c0eafbd55de3
child 54703 499f92dc6e45