P
Initializing...
A commutative-aggregate map and any second map have a common hole (Erdős 624) · Prove2Me