1 article
Un isomorphisme entre deux types A et B est une paire de fonctions to : A → B et from : B → A telles que from(to(a)) = a et to(from(b)) = b pour toute valeur.