Robbins–Siegmund theorem

GPTKB entity