PR !4#9726: feat: define `AddConstEquiv`

Stream: triage

[Random Issue Bot]

Today I chose PR 9726 for discussion!

feat: define AddConstEquiv
Created by @Yury G. Kudryashov (@urkud) on 2024-01-13
Labels: t-algebra, t-dynamics

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

[Random Issue Bot]

Today I chose PR 9726 for discussion!

feat: define AddConstEquiv
Created by @Yury G. Kudryashov (@urkud) on 2024-01-13
Labels: awaiting-author, t-algebra, t-dynamics

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

[Yury G. Kudryashov]

Still relevant. I need to find time to come back, merge master, and fix issues