Ehrenfest–Afanasyeva theorem

GPTKB entity