Aizenman–Barsky theorem

GPTKB entity