Diffère de la référence .wl : `Factor` with `GaussianIntegers`, `Extension` or `Trig`
Vérifiable indépendamment : une réponse de cette fonction est redérivée par une autre voie puis comparée - l'atelier et l'outil verify le font automatiquement, de sorte qu'une réponse fausse est détectée plutôt que crue. Historique →