Theorem Real.norm_deriv_mulExpNegMulSq_le_one

Modification history