Développement : Une involution est bijective

Détails/Enoncé :

Preuve en déduction naturelle.
Assez court.

Recasages pour l'année 2024 :

  • Pas de recasages pour cette année.