Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-08-07 22:35
3bac0ea1
View on Github →
feat: two ℤ-basis have the same discriminant (
#6424
)
Estimated changes
Modified
Mathlib/RingTheory/Discriminant.lean
added
theorem
Algebra.discr_eq_discr