Skip to content

[Merged by Bors] - feat(Data/Polynomial/Module) : define an R[X] module, given a linear map. - #7728

Closed
rmhi wants to merge 45 commits into
masterfrom
CompAEval
Closed

[Merged by Bors] - feat(Data/Polynomial/Module) : define an R[X] module, given a linear map.#7728
rmhi wants to merge 45 commits into
masterfrom
CompAEval

Update Mathlib/Data/Polynomial/Module.lean

626470a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs