← Back to context Comment by latexr 9 months ago Thank you for the correction. It was a typo, but it’s unfortunately too late to edit the post. 1 comment latexr Reply stavros 9 months ago No problem, I wasn't sure so I had to go looking, and I figured I'd post a correction for anyone who saw it.
stavros 9 months ago No problem, I wasn't sure so I had to go looking, and I figured I'd post a correction for anyone who saw it.
No problem, I wasn't sure so I had to go looking, and I figured I'd post a correction for anyone who saw it.