P
Initializing...
A selected canonical component map factors through its full-square singleton · Prove2Me