Def QuadraticAlgebra.imₗ

Modification history

2025-09-05 19:23
Mathlib/Algebra/QuadraticAlgebra.lean
feat(Algebra/QuadraticAlgebra): custom structure for quadratic algebras (#27511) …
Added QuadraticAlgebra.imₗView on Github →