¶Intersection of ≤ t₁ and ≠ t₂
The intersection of an upper bound and a non-equivalence cannot be simplified.
(≤ t₁) ∧ (≠ t₂) = (≤ t₁) ∧ (≁ t₂)
(If there is also a lower bound, then the range might be simplifiable!)
The intersection of an upper bound and a non-equivalence cannot be simplified.
(≤ t₁) ∧ (≠ t₂) = (≤ t₁) ∧ (≁ t₂)
(If there is also a lower bound, then the range might be simplifiable!)
This page is also available via Gemini at gemini://dcreager.net/theory/constraints/intersect-upper-neq.gmi