Ionescu-Tulcea theorem

GPTKB entity