homotopy axiom

GPTKB entity