Birkhoff–Kellogg invariant direction theorem

GPTKB entity