P
Initializing...
Lemma 2.1: equivariance and one matrix unit imply positivity · Prove2Me