Under the étale type-transport hypotheses, every type event of a surface universe is measurable.

Initializing...

Under the étale type-transport hypotheses, every type event of a surface universe is measurable. · Prove2Me