Shafarevich conjecture

GPTKB entity