In mathematics, Gray's conjecture is a conjecture made by Brayton Gray in 1984 about maps between loop spaces of spheres. It was later proved by John Harper.
↑Harper, John R. (1989). "A proof of Gray's conjecture". Algebraic topology (Evanston, IL, 1988). Contempemporary Mathematics. Vol.96. Providence, Rhode Island: American Mathematical Society. pp.189–195. MR1022681.