Bieberbach conjecture

GPTKB entity