Cauchy–Schwarz bound for a coefficient of a vector supported on few isotypic components

Initializing...

Cauchy–Schwarz bound for a coefficient of a vector supported on few isotypic components · Prove2Me