P
Initializing...
Structural facts about the unique element outside a left orbit · Prove2Me