PR !4#9490: feat(GroupTheory/GroupAction): define MulActi...

Stream: triage

[Random Issue Bot]

Today I chose PR 9490 for discussion!

feat(GroupTheory/GroupAction): define MulAction.period and create GroupTheory/GroupAction/Period
Created by @Shad Amethyst (@adri326) on 2024-01-06
Labels: awaiting-review, t-algebra, t-dynamics, new-contributor

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

[Kevin Buzzard]

It's definitely relevant and is being actively discussed.