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.