Closed bobg closed 4 years ago
One correctness change, one strengthened constraint, some explanatory text, and a few small tweaks.
Merged, thanks!
One correctness change, one strengthened constraint, some explanatory text, and a few small tweaks.