Skip to main content
Source Link

You can divide sets by two (or more): in classical ZF, if $A\sqcup A\simeq B\sqcup B$ then $A \simeq B$.

Post Made Community Wiki by Samuel Mimram