Lévy's zero–one law

GPTKB entity