P
Initializing...
The odd-order elements of the permutation layer lift to the quotient (Corollary 4) · Prove2Me