Theorem QuadraticAlgebra.algEquivEdivEmod_omega

Modification history

2026-09-25 09:51
Mathlib/Algebra/QuadraticAlgebra/Discriminant.lean
feat(Algebra/QuadraticAlgebra): quadratic algebras over ℤ (#42298) …
Added QuadraticAlgebra.algEquivEdivEmod_omegaView on Github →