L`ensemble associé avec le type unité peut être n`importe quel ensemble singleton. - Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur. Trouvé sur https://fr.wikipedia.org/wiki/Type_unité
Aucun résultat n’a été trouvé dans l’encyclopédie.
L`ensemble associé avec le type unité peut être n`importe quel ensemble singleton. - Il y a un isomorphisme entre deux tels ensembles, donc on parle souvent « du » type unité et on ignore les détails de cette valeur.