Cote n° 153 · pages 1–3
· 2 diagrammes commutatifs · Analyseurs : notes manuscrites (s.d.).
Datation de l’inventaire : [à partir de 1982]
Édition de démonstration
LaTeX source
\begin{tikzcd}
W(\Omega_0) \arrow[r, no head] & W(A)
\end{tikzcd}LaTeX source
\begin{tikzcd}[column sep=small, row sep=small, nodes={font=\scriptsize}]
K_0[T] \arrow[r] & \operatorname{Appl}(K_0,K_0) \\
\Omega \arrow[u, hook] \arrow[r, dashed] & \operatorname{Appl}\bigl((K_0,k_0),(K_0,k_0)\bigr) \arrow[u, hook]
\end{tikzcd}