PR #16574: feat (group_theory/amenable) : define amenable...

Stream: triage

[Random Issue Bot]

Today I chose PR 16574 for discussion!

feat (group_theory/amenable) : define amenable groups
Created by @None (@matthias567) on 2022-09-21
Labels: awaiting-review

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

[Anatole Dedecker]

Oh I wasn’t aware of this! I’m doing a project on amenable groups right now, so I may try to revive this at some point.