Bochner technique

GPTKB entity