Oh, I thought it might be a pun. But nothing about the surrounding description sounded like a poset (weights are totally ordered, right?), so I figured it was a typo :P
by Eric Rogstad Jun 21 2016
Oh, I thought it might be a pun. But nothing about the surrounding description sounded like a poset (weights are totally ordered, right?), so I figured it was a typo :P