Développement : Une involution est bijective

Détails/Enoncé :

Preuve en déduction naturelle.
Assez court.

Recasages pour l'année 2019 :