(i) | $f : \mathbb{R}^D \to \mathbb{C}$ is an D1493: Infinitely differentiable function |
(ii) | $\mathbb{N}^D \subseteq \mathbb{R}^D$ is a D5179: Set of euclidean natural numbers |
(i) | $f : \mathbb{R}^D \to \mathbb{C}$ is an D1493: Infinitely differentiable function |
(ii) | $\mathbb{N}^D \subseteq \mathbb{R}^D$ is a D5179: Set of euclidean natural numbers |
(i) | $f : \mathbb{R}^D \to \mathbb{C}$ is an D1493: Infinitely differentiable function |
(ii) | $\mathbb{N}^D \subseteq \mathbb{R}^D$ is a D5179: Set of euclidean natural numbers |