Une involution est bijective

Preuve en déduction naturelle. Assez court.
Qualité Numéro Titre
Rajouter une version
Utilisateur : Gayral
'
Références :
Introduction à la logique - René David, Karim Nour, Christophe Raffalli (DNR)