The Hasse–Minkowski theorem over ℚ

Source: url:https://github.com/jayyswan/hasse-minkowski Authors: jayyswan, Nirvana Coppola, María Inés de Frutos-Fernández Status: verified Main declarations: HasseMinkowski.hasseMinkowski, HasseMinkowski.meyer Tags: number-theory, quadratic-forms, local-global, p-adic MSC: 11E12, 11E08, 11E88