ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11108 on R4732:
F11108
Formulation 0
Let $f : \mathbb{R} \to (0, \infty)$ be a D4364: Real function such that
(i) \begin{equation} f(x) = \frac{1}{1 + e^{- x}} \end{equation}
Then \begin{equation} 1 - f(x) = f(-x) \end{equation}