Prefer a chat interface with context about you and your work?
Some functions with a unique invariant mean
In a large class of groups, we construct a function which has a unique invariant mean, but which is not Riemann-measurable.