← Mathematical handbook

theorem Verification.standardNormalCDF_hasDerivAt (z : ℝ) : HasDerivAt (↑(ProbabilityTheory.cdf (ProbabilityTheory.gaussianReal 0 1))) (ProbabilityTheory.gaussianPDFReal 0 1 z) z