Kolmogorov extension theorem

GPTKB entity