P
Initializing...
Novikov: the projection of a Borel set with compact sections is Borel · Prove2Me