A countable-to-one Borel map is injective on each of countably many Borel sets covering its domain

Initializing...

A countable-to-one Borel map is injective on each of countably many Borel sets covering its domain · Prove2Me