mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Quadratic forms over Q_p

Open jcommelin opened this issue 5 years ago • 0 comments

We will need the Hasse invariant. But let's specialize to Q_p, because we won't have Brauer groups for the time being. https://en.wikipedia.org/wiki/Hasse_invariant_of_a_quadratic_form

jcommelin avatar Apr 28 '20 05:04 jcommelin