-
Robert Goldman authored
This is implemented in the most algebraically abstract way (as the conjunction of two calls to `version<=`).
9ecfb2fa
This is implemented in the most algebraically abstract way (as the conjunction of two calls to `version<=`).