Axiome du choix

[ Definition ]
Un produit d’ensembles non vides est non vide.
En savoir plus