Ok, having more time today and thinking more about it, I have updated the description of the proof in the infobox! Curious whether it seems better/​more accurate to you now.
Ok, having more time today and thinking more about it, I have updated the description of the proof in the infobox! Curious whether it seems better/​more accurate to you now.