Assertion: isomorphism's inverse | /r/HasProperty | measurable
Facets:
Source sentences:
text: By Souslin's theorem in standard Borel spaces (a set that is both analytic and coanalytic is necessarily Borel), the inverse of any such measurable bijective function is also measurable.