Commit 2023-08-07 22:35 3bac0ea1

View on Github →

feat: two ℤ-basis have the same discriminant (#6424)

Estimated changes

added theorem Algebra.discr_eq_discr