Theorem QuadraticAlgebra.linearEquivTuple_symm_apply

Modification history

2025-09-05 19:23

Mathlib/Algebra/QuadraticAlgebra.lean

feat(Algebra/QuadraticAlgebra): custom structure for quadratic algebras (#27511) …

Added QuadraticAlgebra.linearEquivTuple_symm_apply View on Github →