Let $Z \in \text{Gaussian}(0, 1)$ be a D211: Standard gaussian random real number.
A D3161: Random real number $X \in \text{Random}(\mathbb{R})$ is a standard chi-squared random unsigned real number if and only if \begin{equation} X \overset{d}{=} Z^2 \end{equation}