Commit 2023-12-27 09:02 2380f2ad
View on Github →fix: change HahnSeries linearMap to use modules (#9297)
This PR corrects what appears to be a minor oversight.
We replace the scalar ring R
with the module V
in two spots.
The proofs are unchanged.