Def PolynomialModule.coeffLinearEquiv

Modification history

2026-08-10 23:43
Mathlib/Algebra/Polynomial/Module/Basic.lean
feat: generalize transfer instance type class assumptions (#42291) …
Modified PolynomialModule.coeffLinearEquivView on Github →
2026-07-04 08:56
Mathlib/Algebra/Polynomial/Module/Basic.lean
refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …
Added PolynomialModule.coeffLinearEquivView on Github →