P
Initializing...
A right-translation collision across a one-element left-orbit complement gives a fixer · Prove2Me