P
Initializing...
The uniform sector product has two ordinary factors and one exchanged factor · Prove2Me