oskar/cours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

eduroam-prg-og-1-30-122.net.univ-paris-diderot.fr 2026-1-21:11:25:4

Browse Source
This commit is contained in:
oskar
2026-01-21 11:25:04 +01:00
parent c62ef1d4e7
commit ec509f7890
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
syntax, semantics, discourse 2.md
View File

@@ -42,4 +42,4 @@ language meaning need to satisfy a constraint much more concrete than [[composit
- Every / each $\mapsto$ $\forall x$
- $\vdots$
- = A famous supervisor directs every student here.
- $\exists x (\operatorname{fam-\sup\limits}$
- $\exists x (\operatorname{fam-sup}()$