Talk:Weierstrass Extreme Value Theorem

The theorem statement here looks like complete nonsense to me. I think the universal and existential should be swapped? And what's with the subscript in $x_n$? --CircuitCraft (talk) 21:31, 18 October 2023 (UTC)

So fix it. --prime mover (talk) 06:11, 19 October 2023 (UTC)