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