P
Initializing...
ρ̂ is multiplicative under the block-diagonal sum ⋄ · Prove2Me