mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Hasse invariant of quadratic forms

Open jcommelin opened this issue 5 years ago • 1 comments

https://en.wikipedia.org/wiki/Hasse_invariant_of_a_quadratic_form

jcommelin avatar Jun 15 '20 16:06 jcommelin

@101damnations is working on group cohomology which is a prerequisite for doing this "properly".

kbuzzard avatar Sep 03 '22 19:09 kbuzzard