Trace of a positive coefficient restricted to a subgroup, in a representation with large constituents

Initializing...

Trace of a positive coefficient restricted to a subgroup, in a representation with large constituents · Prove2Me