Prove ArtinParabolicIntersections (openai/math family 254: Classifying spaces and geometric obstructions for…
Prove ArtinParabolicIntersections (openai/math family 254: Classifying spaces and geometric obstructions for…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 254 of the release, Classifying spaces and geometric obstructions for Artin groups…
The task
Context: this statement belongs to family 254 of the release, *Classifying spaces and geometric obstructions for Artin groups* (Group theory). The family as a whole: The Salvetti complex of every finite-rank Artin group is aspherical, proving the Artin $K(\pi,1)$ conjecture. Arbitrary intersections of its parabolic…
Part of raising-heart/openai-math.