Metadata
Author: Literature
Data
English[en]
"That is, the theorem-generating program won't skip any portion of the "" space"" of all theorems ."
French[fr]
Ce programme générateur de théorèmes ne laisserait pas de « trous » dans l'« espace » composé de tous les théorèmes.