Tate's acyclicity theorem

GPTKB entity