Artin–Verdier duality

GPTKB entity