Def PolynomialModule.equivPolynomial

Modification history

2026-07-04 08:56

Mathlib/Algebra/Polynomial/Module/Basic.lean

refactor(Algebra): make `MonoidAlgebra` into a one-field structure (#38714) …

Modified PolynomialModule.equivPolynomial View on Github →

2026-04-15 21:15

Mathlib/Algebra/Polynomial/Module/Basic.lean

chore: fix more leaky instances (#38089) …

Added PolynomialModule.equivPolynomial View on Github →