Exemple 5

Étiquette 0DSN, permanente. À citer comme [Bourbaki, Tag 0DSN].

Soit $u : C' \to C$ un morphisme de complexes bornés de type $\mathscr{C}$ . Alors Con ( $u$ ) est borné de type $\mathscr{C}$ , et on a :

\chi(\operatorname{Con}(u)) = \chi(C) - \chi(C').

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Rien.