Prefer a chat interface with context about you and your work?
A Quantitative Version of the Non-Abelian Idempotent Theorem