robrix/semilattices

Rename lower to lowerBound, upper to upperBound

robrix opened this issue · 0 comments

robrix commented

lower is too useful a name in other contexts, and then upperBound for symmetry.