parties finies

Cette révision appartient à :
Yann Salmon
2019-05-10 19:07:05 +02:00
Parent 4988dd8ebe
révision 5d9139b7bb

Voir le fichier

@@ -60,6 +60,7 @@
\let\peuttrans\rightsquigarrow
\def\enspart#1{\mathscr P\left(#1\right)}
\def\enspartf#1{{\mathscr P}_{\mathrm{fini}}\left(#1\right)}
\def\ie{\textsl{ie.}\xspace}
\newcommand{\tvers}[1]{\xrightarrow[\ \: #1 \:\ ]{}}