Yann Salmon
|
42dd8e53a6
|
variables métasyntaxiques encadrées plutôt que mises entre chevrons
|
2020-01-27 21:51:58 +01:00 |
|
Yann Salmon
|
d4c73215e3
|
pour écrire des ensembles quotients
|
2019-12-23 09:24:00 +01:00 |
|
Yann Salmon
|
36e78e9523
|
\enspart avec indice facultatif
|
2019-08-02 14:44:36 +02:00 |
|
Yann Salmon
|
006d46185b
|
cardinal
|
2019-06-16 14:33:29 +02:00 |
|
Yann Salmon
|
5061fdbf84
|
définitions pour la sémantique
|
2019-05-14 10:14:37 +02:00 |
|
Yann Salmon
|
5d9139b7bb
|
parties finies
|
2019-05-10 19:07:05 +02:00 |
|
Yann Salmon
|
fd630265c8
|
exponentielle
|
2019-03-03 23:17:37 +01:00 |
|
Yann Salmon
|
e7c5d7a3a5
|
fin de import
|
2019-02-24 14:23:54 +01:00 |
|