P

Initializing...

Trivial common hole for several maps $\mathcal P(U)\to U$ (Erdős 624) · Prove2Me