Skip to content

fix: Exercise 3.5.5 — product does not distribute over ∪ or \ - #680

Closed
Chessing234 wants to merge 2 commits into
teorth:mainfrom
Chessing234:fix/ex-3-5-5-prod-union-diff-false
Closed

Chessing234 wants to merge 2 commits into
teorth:mainfrom
Chessing234:fix/ex-3-5-5-prod-union-diff-false

fix: correct equality directions in product counterexamples

9d4f05a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
build
succeeded Sep 1, 2026 in 2h 18m 51s