Lange–Lerner theorem

GPTKB entity