Auto: misc.

2026-08-05 22:16:20 +00:00 · 2021-04-14 11:23:46 +02:00
parent be4f7194dd
commit 7158df7d20
3 changed files with 5 additions and 1 deletions
@@ -1,3 +1,4 @@
 # 2021-04-14

- [[patterning reading group]]
+- [[patterning reading group]]
+- [[proper subset]]
@@ -0,0 +1,3 @@
+# proper subset
+
+- S1 is a proper subset of S2 [[iif]] S2 has some items which aren't in S1. That is, they are not equal.