ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F6734 on R2960: Function odd part is odd
F6734
Formulation 0
Let $f : \mathbb{R}^n \to \mathbb{R}^m$ be a D992: Function.
Let $f_{\mathsf{odd}} : \mathbb{R}^n \to \mathbb{R}^m$ be the D4693: Function odd part of $f$.
Then $f_{\mathsf{odd}}$ is an D3998: Odd euclidean real function.