src/HOL/Library/Sum_Of_Squares.thy
changeset 31563 ded2364d14d4
parent 31512 27118561c2e0
child 32268 d50f0cb67578