Zulip Chat Archive

Stream: triage

Today I chose PR 3980 for discussion!

feat(group_theory/group_action): add Cayley's theorem
Created by @None (@chrispvm) on 2020-08-30
Labels: WIP, awaiting-author, merge-conflict, please-adopt

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

Last updated: Dec 20 2023 at 11:08 UTC