Let $X \in \text{Random}(\mathbb{R})$ be a D3161: Random real number.
Let $a, t \in \mathbb{R}$ each be a D993: Real number.

Then \begin{equation} \mathfrak{F}_{a X}(t) = \mathfrak{F}_X (a t) \end{equation}