Def QuadraticAlgebra.algEquivEdivEmod

Modification history

2026-09-25 09:51

Mathlib/Algebra/QuadraticAlgebra/Discriminant.lean

feat(Algebra/QuadraticAlgebra): quadratic algebras over ℤ (#42298) …

Added QuadraticAlgebra.algEquivEdivEmod View on Github →