Theorem QuadraticAlgebra.Rat.nonempty_algEquiv_iff

Modification history

2026-10-21 19:58
Mathlib/Algebra/QuadraticAlgebra/Rat.lean
feat(Algebra/QuadraticAlgebra): classify quadratic algebras over ℚ (#42393) …
Added QuadraticAlgebra.Rat.nonempty_algEquiv_iffView on Github →