P
Initializing...
Adjoint identity for weighted segment averages under Haar measure · Prove2Me