GCH $\Rightarrow$ ($A<B\Rightarrow 2^A<2^B$) for infinite $A$ · Prove2Me

P

Initializing...

GCH $\Rightarrow$ ($A<B\Rightarrow 2^A<2^B$) for infinite $A$ · Prove2Me