(Q1938251)

two quadratic forms over a number field are equivalent iff they are equivalent locally