← Back to context Comment by latexr 21 days 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 21 days 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 21 days 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.