mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Arithmetic of quadratic fields

Open riccardobrasca opened this issue 3 years ago • 6 comments

Basic arithmetic of quadratic fields (ring of integers, discriminant and so on) should now not be too difficult.

https://en.wikipedia.org/wiki/Quadratic_field https://en.wikipedia.org/wiki/Quadratic_integer

riccardobrasca avatar Jan 12 '22 22:01 riccardobrasca