Text this: Topological Noetherianity of the infinite half-spin representations.