Def PolynomialModule

Modification history

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 →