Kolmogorov's continuity theorem

GPTKB entity