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.

Estimated changes