P
Initializing...
Adjacency on the $Q_{28}$ polar descends to the stored quotient · Prove2Me