Cote n° 28 · pages 2–3
· 2 diagrammes commutatifs · [Groupes algébriques (SGA 3)] : notes manuscrites (s.d.).
Datation de l’inventaire : [vers 1970]
Édition de démonstration
LaTeX source
\begin{tikzcd}[column sep=large]
G \times G \times X \arrow[r, "u_a \times X"] \arrow[d, "G \times \varphi"'] & G \times X \arrow[d, "\varphi"] \\
G \times X \arrow[r, dashed] & X
\end{tikzcd}LaTeX source
\begin{tikzcd}
G \times X \arrow[r, dashed] & X \times X \\
U \arrow[u, hook] & \\
F \arrow[u, hook] \arrow[r] & X \arrow[uu]
\end{tikzcd}