Commit 812f8fe7559f522bb8fbec2653428f289070ec2e - Eqthy

Fix link Chris Pressey 1 year, 8 days ago

1 changed file(s) with 1 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all

-1

eg/set-difference.eqthy.md less more

11	11	Using the [Algebra of sets (Wikipedia)](https://en.wikipedia.org/wiki/Algebra_of_sets)
12	12	as a basis.
13	13
14		Include [../algebra-of-sets.eqthy.md](../algebra-of-sets.eqthy.md) before this file!
	14	Include [algebra-of-sets.eqthy.md](algebra-of-sets.eqthy.md) before this file!
15	15
16	16	axiom (#union-de-morg) comp(inter(A, B)) = union(comp(A), comp(B))
17	17	axiom (#inter-de-morg) comp(union(A, B)) = inter(comp(A), comp(B))