Reverse mathematics of a color basis theorem. - Caleb Davis; Jeffry L. Hirst; Silva Keohulian; Brody Miller; Jessica Ross (Comput., 2025)