P
Initializing...
Signed type projections commute with the signed permutation action · Prove2Me