Hörmander's condition

GPTKB entity