Théorème - Tout fibré sur un CW-complexe contractile est trivial.
En particulier, si C admet un objet initial ou final, son nerf est contractile.
Antonymes