Atiyah-Segal axioms

GPTKB entity