Artin approximation theorem

GPTKB entity