PR !4#12251: refactor(RingTheory/HahnSeries) : several ge...

Stream: triage

[Random Issue Bot]

Today I chose PR 12251 for discussion!

refactor(RingTheory/HahnSeries) : several generalizations
Created by @Scott Carnahan (@ScottCarnahan) on 2024-04-18
Labels: WIP, merge-conflict, t-algebra, t-order

Is this PR still relevant? Any recent updates? Anyone making progress?

[Scott Carnahan]

This is just a bucket for testing Hahn Series API that is necessary for making vertex algebras work. It will be WIP for the foreseeable future.