Cours/SEMPL
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixing an oupsi
All checks were successful
Build lyes.eu / build (push) Successful in 2m42s
Details

Browse source
This commit is contained in:
Lyes Saadi 2026-01-15 21:01:44 +01:00
parent d087578f97
commit 7232a2e0ae
Signed by: lyes
GPG key ID: 55A1D803917CF39A
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
2.typ
View file

@ -972,5 +972,5 @@ Similarly, if $LL$ has a terminal object $top$, $!top tilde.eq 1$.
] ]
#exercise[ #exercise[
$("PCoh", **, 1)$ is symmetric monoidal. $("PCoh", (*), 1)$ is symmetric monoidal.
] ]