Historique | Voir | Annoter | Télécharger (100 octet)
\newcommand{\wit}[2]{\mathit{Wit}^{#1}_{#2}}
\newcommand{\dfn}{:=}
\newcommand{\seqar}{\rightarrow}