Def PolynomialModule

Modification history

2026-07-04 08:56

Mathlib/Algebra/Polynomial/Module/Basic.lean

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

Deleted PolynomialModule View on Github →

2023-08-10 19:52

Mathlib/Data/Polynomial/Module.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified PolynomialModule View on Github →

2023-04-21 15:12

Mathlib/Data/Polynomial/Module.lean

feat: port Data.Polynomial.Module (#3407)

Added PolynomialModule View on Github →