Auto: misc.

This commit is contained in:
2021-04-14 17:12:55 +02:00
parent e0ab610586
commit 3fefac3654
2 changed files with 7 additions and 1 deletions
+5
View File
@@ -0,0 +1,5 @@
# jlaurelc
- a [[person]]
- [[twitter]] https://twitter.com/jlaurelc
+2 -1
View File
@@ -3,4 +3,5 @@
- [[patterning reading group]]
- [[patterning]]
- [[a fortiori]]
- [[proper subset]]
- [[proper subset]]
- [[jlaurelc]]