Harder’s conjecture

GPTKB entity